SPNP: Stochastic Petri Nets. Version 6.0

The Stochastic Petri Net Package (SPNP) [2] is a versatile modeling tool for solution of Stochastic Petri Net (SPN) models. The SPN models are described in the input language for SPNP called CSPL (C-based SPN Language) which is an extension of the C programming language [8] with additional constructs which facilitate easy description of SPN models. Moreover, if the user does not want to describe his model in CSPL, a Graphical User Interface (GUI) is available to specify all the characteristics as well as the parameters of the solution method chosen to solve the model. Earlier versions of SPNP provided the capabilities of automatically generating and solving Markov reward models starting with the Stochastic Reward Nets (SRNs) [2], an extension of Petri Nets. The new version of SPNP provides major extensions in three directions: